<!DOCTYPE html>
<html lang="en">
	<head>
		<title>HOL4 Reference</title>
		<!-- Required meta tags -->
		<meta charset="utf-8">
		<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
		<meta name="viewport" content="maximum-scale=1, user-scalable=no">
		<meta name="keywords" content="HOL4, HOL, 形式化验证, HOL Reference, Reference page, 定理证明器, 对策, 定理, tactic, tactical, theory" >
		<meta name="Description" content="基于HOL4 Reference Page数据，重新搭建的具备搜索、互动、社区功能的新HOL4参考页面。" >
		<meta name="google-site-verification" content="rOdu_AJL6TVR5RAMl-IP-OU5ZSujEVXiFweUv5n32vE" />
		<meta name="baidu-site-verification" content="CtmPty9BQa" />
		<!-- Bootstrap CSS -->
		<link rel="stylesheet" href="/static/css/bootstrap.min.css" crossorigin="anonymous">
		<link rel="stylesheet" href="/static/css/mystyle.css">
		<style>
	
		</style>
		<!-- Optional JavaScript -->
		<!-- jQuery first, then Popper.js, then Bootstrap JS -->
		<script src="/static/js/jquery-3.5.1.min.js" crossorigin="anonymous"></script>
		<script src="/static/js/popper.min.js" crossorigin="anonymous"></script>
		<script src="/static/js/bootstrap.min.js" crossorigin="anonymous"></script>
	  </head>
<body>
	<div class="container row" style="height: 100vh;">
		<nav class="navbar navbar-default navbar-fixed-top" style="border-style:none;">
			<div class="collapse navbar-collapse" id="bs-example-navbar-collapse-1" style="padding-right: 25px; background-color: white; border-style:none;">
              {% block nav_other %}
              {% endblock nav_other %}
              <ul class="nav navbar-nav navbar-right">
                {% if user == None %}
                <li><a href="/login?url={{ request.get_full_path }}">登录</a></li>
                <li><a href="/register?url={{ request.get_full_path }}">注册</a></li>
                {% else %}
                <li class="dropdown">
                  <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">{{ user.name }} <span class="caret"></span></a>
                  <ul class="dropdown-menu">
                  <script>$('.dropdown-toggle').dropdown();</script>
				  	{% if user.admin == 1 %}
					<li><a href="/webadmin">Web admin</a></li>
					<li role="separator" class="divider"></li>  
					{% endif %}
                    <li><a href="/user/index">个人信息</a></li>
                    <li><a href="/user/comment">留言和笔记</a></li>
                    <li><a href="/community/group">社区</a></li>
                    <li role="separator" class="divider"></li>
                    <li><a href="/logout?purl={{ request.get_full_path }}">退出登录</a></li>
                  </ul>
                </li>
                {% endif %}
              </ul>
              <ul class="nav navbar-nav navbar-right">
                {% block navbar_status %}
                <li><a type="submit" href="/community/group">社区</a></li>
                <li><a type="submit" href="/community/question/?q=11" target="_blank">Github</a></li>
                {% endblock navbar_status %}
              </ul>
            </div><!-- /.navbar-collapse -->
		</nav>
		<div class="center-block text-center h-100 col-md-12" style="display: block; position: absolute; top:30%; width: 100%;">
			{% block center_block %}
			<h1>HOL4 Reference</h1>
			{% if user == None %}
			<p>search & learn</p>
			{% else %}
			<p>welcome <b>{{ user.name }}</b></p>
			{% endif %}
			<div class="col-md-12" style="height: 10px;">

			</div>

			<div class="col-md-4 col-md-offset-4">
				<form action="/result/" method="GET">
					<div class="input-group">
						<input type="search" class="form-control" placeholder="Search for..." name="q">
						<span class="input-group-btn">
						  <button class="btn btn-default" type="submit">Go!</button>
						</span>
					  </div><!-- /input-group -->
					</div><!-- /.col-lg-6 -->
				  </div>
				</form>
				<!-- /.row -->
			</div>
			{% endblock center_block %}
		</div>
	</div>
</body>
</html>